haslnk($l$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isrcv($e$) $\wedge_{2}$ lnk($e$) = $l$